Skip to content

Actions: pindakaashq/pindakaas

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
535 workflow runs
535 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kissat support for Python package
Run Tests #386: Pull request #97 synchronize by Dekker1
May 15, 2025 01:37 1m 49s Dekker1:feat/python-kissat
May 15, 2025 01:37 1m 49s
Kissat support for Python package
CI #29: Pull request #97 opened by Dekker1
May 15, 2025 01:34 3m 57s Dekker1:feat/python-kissat
May 15, 2025 01:34 3m 57s
Kissat support for Python package
Check Format #119: Pull request #97 opened by Dekker1
May 15, 2025 01:34 15s Dekker1:feat/python-kissat
May 15, 2025 01:34 15s
Kissat support for Python package
Run Tests #385: Pull request #97 opened by Dekker1
May 15, 2025 01:34 1m 28s Dekker1:feat/python-kissat
May 15, 2025 01:34 1m 28s
feat(pyndakaas): add initial encoding and solving interface
Run Tests #384: Commit b353e90 pushed by Dekker1
May 15, 2025 01:30 1m 46s develop
May 15, 2025 01:30 1m 46s
PyO3 hybrid Python/Rust setup
CI #28: Pull request #96 synchronize by Dekker1
May 15, 2025 01:20 8m 27s Dekker1:feat/python_init
May 15, 2025 01:20 8m 27s
PyO3 hybrid Python/Rust setup
Check Format #118: Pull request #96 synchronize by Dekker1
May 15, 2025 01:20 14s Dekker1:feat/python_init
May 15, 2025 01:20 14s
PyO3 hybrid Python/Rust setup
Run Tests #383: Pull request #96 synchronize by Dekker1
May 15, 2025 01:20 2m 11s Dekker1:feat/python_init
May 15, 2025 01:20 2m 11s
PyO3 hybrid Python/Rust setup
CI #27: Pull request #96 synchronize by Dekker1
May 14, 2025 06:44 9m 9s Dekker1:feat/python_init
May 14, 2025 06:44 9m 9s
PyO3 hybrid Python/Rust setup
Run Tests #382: Pull request #96 synchronize by Dekker1
May 14, 2025 06:44 1m 55s Dekker1:feat/python_init
May 14, 2025 06:44 1m 55s
PyO3 hybrid Python/Rust setup
Check Format #117: Pull request #96 synchronize by Dekker1
May 14, 2025 06:44 17s Dekker1:feat/python_init
May 14, 2025 06:44 17s
PyO3 hybrid Python/Rust setup
CI #26: Pull request #96 synchronize by Dekker1
May 14, 2025 06:41 3m 28s Dekker1:feat/python_init
May 14, 2025 06:41 3m 28s
PyO3 hybrid Python/Rust setup
Check Format #116: Pull request #96 synchronize by Dekker1
May 14, 2025 06:41 16s Dekker1:feat/python_init
May 14, 2025 06:41 16s
PyO3 hybrid Python/Rust setup
Run Tests #381: Pull request #96 synchronize by Dekker1
May 14, 2025 06:41 1m 51s Dekker1:feat/python_init
May 14, 2025 06:41 1m 51s
PyO3 hybrid Python/Rust setup
Check Format #115: Pull request #96 synchronize by Dekker1
May 14, 2025 05:59 20s Dekker1:feat/python_init
May 14, 2025 05:59 20s
PyO3 hybrid Python/Rust setup
CI #25: Pull request #96 synchronize by Dekker1
May 14, 2025 05:59 2m 29s Dekker1:feat/python_init
May 14, 2025 05:59 2m 29s
PyO3 hybrid Python/Rust setup
Run Tests #380: Pull request #96 synchronize by Dekker1
May 14, 2025 05:59 1m 47s Dekker1:feat/python_init
May 14, 2025 05:59 1m 47s
PyO3 hybrid Python/Rust setup
CI #24: Pull request #96 synchronize by Dekker1
May 14, 2025 05:57 3m 36s Dekker1:feat/python_init
May 14, 2025 05:57 3m 36s
PyO3 hybrid Python/Rust setup
Run Tests #379: Pull request #96 synchronize by Dekker1
May 14, 2025 05:57 1m 27s Dekker1:feat/python_init
May 14, 2025 05:57 1m 27s
PyO3 hybrid Python/Rust setup
Check Format #114: Pull request #96 synchronize by Dekker1
May 14, 2025 05:57 17s Dekker1:feat/python_init
May 14, 2025 05:57 17s
PyO3 hybrid Python/Rust setup
CI #23: Pull request #96 synchronize by Dekker1
May 14, 2025 03:59 10m 2s Dekker1:feat/python_init
May 14, 2025 03:59 10m 2s
PyO3 hybrid Python/Rust setup
Run Tests #378: Pull request #96 synchronize by Dekker1
May 14, 2025 03:59 2m 10s Dekker1:feat/python_init
May 14, 2025 03:59 2m 10s
PyO3 hybrid Python/Rust setup
Check Format #113: Pull request #96 synchronize by Dekker1
May 14, 2025 03:59 16s Dekker1:feat/python_init
May 14, 2025 03:59 16s
PyO3 hybrid Python/Rust setup
CI #22: Pull request #96 synchronize by Dekker1
May 14, 2025 03:49 9m 29s Dekker1:feat/python_init
May 14, 2025 03:49 9m 29s
PyO3 hybrid Python/Rust setup
Run Tests #377: Pull request #96 synchronize by Dekker1
May 14, 2025 03:49 1m 55s Dekker1:feat/python_init
May 14, 2025 03:49 1m 55s